//#include <stdio.h>
//#define PI 3.1415926
//void main()
//{
//	/*double r1 = 1.53, r2 = 21.83, r3 = 123.71, s1, s2, s3;
//	s1 = 2.0 * PI * r1;
//	s2 = 2.0 * PI * r2;
//	s3 = 2.0 * PI * r3;
//	printf("s1=%10.2f\ns2=%10.2f\ns3=%10.2f\n", s1, s2, s3);
//
//*/
//
//	/*char a, b, c;
//	a=getchar();
//	b=getchar(); 
//	c=getchar();
//	putchar(a); putchar(b); putchar(c); putchar('\n');*/
//
//}
//#include <>